Both scientists and philosophers of science have recently emphasized the importance of promoting transparency in science. For scientists, transparency is a way to promote reproducibility, progress, and trust in research. For philosophers of science, transparency can help address the value-ladenness of scientific research in a responsible way. Nevertheless, the concept of transparency is a complex one. Scientists can be transparent about many different things, for many different reasons, on behalf of many different stakeholders. This paper proposes a taxonomy that clarifies (...) the major dimensions along which approaches to transparency can vary. By doing so, it provides several insights that philosophers and other science studies scholars can pursue. In particular, it helps address common objections to pursuing transparency in science, it clarifies major forms of transparency, and it suggests avenues for further research on this topic. (shrink)

This Element introduces the philosophical literature on values in science by examining four questions: How do values influence science? Should we actively incorporate values in science? How can we manage values in science responsibly? What are some next steps for those who want to help promote responsible roles for values in science? It explores arguments for and against the “value-free ideal” for science and concludes that it should be rejected. Nonetheless, this does not mean that value influences are always acceptable. (...) The Element explores a range of strategies for distinguishing between appropriate and inappropriate value influences. It concludes by proposing an approach for managing values in science that relies on justifying, prioritising, and implementing norms for scientific research practices and institutions. (shrink)

In recent papers and a book, Heather Douglas has expanded on the well-known argument from inductive risk, thereby launching an influential contemporary critique of the value-free ideal for science. This paper distills Douglas’s critique into four major claims. The first three claims provide a significant challenge to the value-free ideal for science. However, the fourth claim, which delineates her positive proposal to regulate values in science by distinguishing direct and indirect roles for values, is ambiguous between two interpretations, and both (...) have weaknesses. Fortunately, two elements of Douglas’s work that have previously received much less emphasis provide resources for developing a more promising approach for regulating values in science. (shrink)

Although many philosophers have employed the distinction between “direct” and “indirect” roles for values in science, I argue that it merits further clarification. The distinction can be formulated in several ways: as a logical point, as a distinction between epistemic attitudes, or as a clarification of different consequences associated with accepting scientific claims. Moreover, it can serve either as part of a normative ideal or as a tool for policing how values influence science. While various formulations of the distinction may (...) contribute to a normative ideal, they have limited effectiveness for regulating how values influence science. (shrink)

We argue that the analysis of cognitive attitudes should play a central role in developing more sophisticated accounts of the proper roles for values in science. First, we show that the major recent efforts to delineate appropriate roles for values in science would be strengthened by making clearer distinctions among cognitive attitudes. Next, we turn to a specific example and argue that a more careful account of the distinction between the attitudes of belief and acceptance can contribute to a better (...) understanding of the proper roles for values in a case study from paleoanthropology. (shrink)

This response addresses the excellent responses to my book provided by Heather Douglas, Janet Kourany, and Matt Brown. First, I provide some comments and clarifications concerning a few of the highlights from their essays. Second, in response to the worries of my critics, I provide more detail than I was able to provide in my book regarding my three conditions for incorporating values in science. Third, I identify some of the most promising avenues for further research that flow out of (...) this interchange. (shrink)

A number of scholars have recently drawn attention to the importance of iteration in scientific research. This paper builds on these previous discussions by drawing a distinction between epistemic and methodological forms of iteration and by clarifying the relationships between them. As defined here, epistemic iteration involves progressive alterations to scientific knowledge claims, whereas methodological iteration refers to an interplay between different modes of research practice. While distinct, these two forms of iteration are related in important ways. Contemporary research on (...) the biological effects of nanomaterials illustrates that methodological iteration can help to “initiate,” “equip,” and “stimulate” epistemic iteration. (shrink)

Ethicists widely accept the notion that scientists have moral responsibilities to benefit society at large. The dissemination of scientific information to the public and its political representatives is central to many of the ways in which scientists serve society. Unfortunately, the task of providing information can often give rise to moral quandaries when scientific experts participate in politically charged debates over issues that are fraught with uncertainty. This paper develops a theoretical framework for an “ethics of expertise” (EOE) based on (...) the notion that scientists have responsibilities to provide information in a way that promotes autonomous decision-making on the part of the public and its representatives. Moreover, insofar as the principle of informed consent has developed in biomedical ethics as a way for physicians to promote autonomous decision-making on the part of their patients, this paper suggests that the informed-consent concept may suggest a set of criteria and guidelines that can help scientists to fulfill their similar ethical responsibilities to the public. In order to illustrate how the resulting EOE could provide practical guidance for scientific experts, the paper examines a case study involving the dissemination of information about the low-dose biological effects of toxic chemicals and carcinogens. (shrink)

Recent efforts to argue that nonepistemic values have a legitimate role to play in assessing scientific models, theories, and hypotheses typically either reject the distinction between epistemic and nonepistemic values or incorporate nonepistemic values only as a secondary consideration for resolving epistemic uncertainty. Given that scientific representations can legitimately be evaluated not only based on their fit with the world but also with respect to their fit with the needs of their users, we show in two case studies that nonepistemic (...) values can play a legitimate role as factors that override epistemic considerations in assessing scientific representations for practical purposes. (shrink)

In recent years, industry-funded research has come under fire because of concerns that it can be biased in favor of the funders. This article suggests that efforts by philosophers of science to analyze the concept of objectivity can provide important lessons for those seeking to evaluate and improve industry-funded research. It identifies three particularly relevant criteria for objectivity: transparency, reproducibility, and effective criticism. On closer examination, the criteria of transparency and reproducibility turn out to have significant limitations in this context, (...) but the criterion of effective criticism suggests some important strategies for improving the objectivity of industry-funded science. (shrink)

Environmental ethicists have devoted considerable attention to discussing whether anthropocentric or nonanthropocentric arguments provide more appropriate means for defending environmental protection. This paper argues that philosophers, scientists, and policy makers should pay more attention to a particular type of anthropocentric argument. These anthropocentric indirect arguments defend actions or policies that benefit the environment, but they justify the policies based on beneficial effects on humans that are not caused by their environmental benefits. AIAs appear to have numerous appealing characteristics, and their (...) weaknesses do not provide compelling reasons to avoid them. Elucidating these arguments should inspire social scientists and philosophers to study the range of situations in which AIAs can be ethically and effectively employed and the extent to which they increase or diminish public support for environmentalism. (shrink)

In 1903, in _The Principles of Mathematics_ (_PoM_), Russell endorsed an account of classes whereupon a class fundamentally is to be considered many things, and not one, and used this thesis to explicate his first version of a theory of types, adding that it formed the logical justification for the grammatical distinction between singular and plural. The view, however, was short-lived; rejected before _PoM_ even appeared in print. However, aside from mentions of a few misgivings, there is little evidence about (...) why he abandoned this view. In this paper, I speculate as to what those reasons were, and evaluate them in light of recent work and interest in plural logic. (shrink)

It is well known that the circumflex notation used by Russell and Whitehead to form complex function names in Principia Mathematica played a role in inspiring Alonzo Church's “lambda calculus” for functional logic developed in the 1920s and 1930s. Interestingly, earlier unpublished manuscripts written by Russell between 1903–1905—surely unknown to Church—contain a more extensive anticipation of the essential details of the lambda calculus. Russell also anticipated Schönfinkel's combinatory logic approach of treating multiargument functions as functions having other functions as value. (...) Russell’s work in this regard seems to have been largely inspired by Frege’s theory of functions and “value-ranges”. This system was discarded by Russell due to his abandonment of propositional functions as genuine entities as part of a new tack for solving Russell’s paradox. In this article, I explore the genesis and demise of Russell’s early anticipation of the lambda calculus. (shrink)

This book aims to develop certain aspects of Gottlob Frege’s theory of meaning, especially those relevant to intensional logic. It offers a new interpretation of the nature of senses, and attempts to devise a logical calculus for the theory of sense and reference that captures as closely as possible the views of the historical Frege. (The approach is contrasted with the less historically-minded Logic of Sense and Denotation of Alonzo Church.) Comparisons of Frege’s theory with those of Russell and others (...) are given. It is in the end shown that developing Frege’s theory in these ways reveals serious problems hitherto largely unnoticed, including those possibly rendering a Fregean intensional logic inconsistent even if his naïve class theory is excluded. (shrink)

A summary of Russell’s logical atomism, understood to include both a metaphysical view and a certain methodology for doing philosophy. The metaphysical view amounts to the claim that the world consists of a plurality of independently existing things exhibiting qualities and standing in relations. The methodological view recommends a process of analysis, whereby one attempts to define or reconstruct more complex notions or vocabularies in terms of simpler ones. The origins of this theory, and its influence and reception are also (...) discussed. (shrink)

Economist Frank Knight drew a distinction between decisions under risk and decisions under uncertainty. Despite the significance of this distinction for decision theory, we argue that there has been inadequate attention to the difficulties involved in classifying decision situations into these categories. Using the risk assessment of carbon nanotubes as an example, we show that it is often unclear whether there is adequate information to classify a decision situation as being under risk as opposed to uncertainty. We conclude by providing (...) two suggestions for responding to these difficulties: treating decisions as real-world experiments; and promoting broadly based deliberation about quantitative information. (shrink)

Philosophers of science readily acknowledge that nonepistemic values influence the discovery and pursuit of scientific theories, but many tend to regard these influences as epistemically uninteresting. The present paper challenges this position by identifying three avenues through which nonepistemic values associated with discovery and pursuit in contemporary pollution research influence theory appraisal: (1) by guiding the choice of questions and research projects, (2) by altering experimental design, and (3) by affecting the creation and further investigation of theories or hypotheses. This (...) analysis indicates that the effects of these values are sufficiently complex and epistemically significant to merit further attention. †To contact the authors, please write to: Kevin Elliott, Department of Philosophy, University of South Carolina, Columbia, SC 29208; e‐mail: [email protected] . Daniel McKaughan, Department of Philosophy, Boston College, Chestnut Hill, MA 02467; e‐mail: [email protected]. (shrink)

A summary of the philosophical career and intellectual contributions of Gottlob Frege (1848–1925), including his invention of first- and second-order quantified logic, his logicist understanding of arithmetic and numbers, the theory of sense (Sinn) and reference (Bedeutung) of language, the third-realm metaphysics of “thoughts”, his arguments against rival views, and other topics.

The biological effects of low doses of toxic and carcinogenic chemicals are currently a matter of significant scientific controversy. This paper argues that philosophers of science can contribute to alleviating this controversy by examining it with the aid of a novel account of scientific anomaly. Specifically, analysis of contemporary research on chemical hormesis (i.e., alleged beneficial biological effects produced by low doses of substances that are harmful at higher doses) suggests that scientists may initially describe anomalous phenomena in terms of (...) multiple distinct "characterizations," each of which is compatible with current empirical evidence. By focusing attention on this feature of scientific anomalies, philosophers of science can alleviate the controversy over low-dose chemical effects in at least two ways: (1) they can pinpoint the significant ways in which particular characterizations frame the controversy, and (2) they can identify the methodological value judgments at stake in researchers' choice of characterizations. (shrink)

Collected essays from a symposium on the prominent issue of conscience and how it is related to Catholic education.

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) is (...) not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

Scholars working in science and technology studies have recently argued that we could learn much about the nature of scientific knowledge by paying closer attention to scientific ignorance. Building on the work of Robert Proctor, this article shows how ignorance can stem from a wide range of selective research choices that incline researchers toward partial, limited understandings of complex phenomena. A recent report produced by the International Assessment of Agricultural Knowledge, Science, and Technology for Development serves as the article’s central (...) case study. After arguing that the forms of selective ignorance illustrated in cases like this one are both socially important and difficult to address, I suggest several strategies for responding to them in a socially responsible manner. (shrink)

Certain commentators on Russell's “no class” theory, in which apparent reference to classes or sets is eliminated using higher-order quantification, including W. V. Quine and (recently) Scott Soames, have doubted its success, noting the obscurity of Russell’s understanding of so-called “propositional functions”. These critics allege that realist readings of propositional functions fail to avoid commitment to classes or sets (or something equally problematic), and that nominalist readings fail to meet the demands placed on classes by mathematics. I show that Russell (...) did thoroughly explore these issues, and had good reasons for rejecting accounts of propositional functions as extra-linguistic entities. I argue in favor of a reading taking propositional functions to be nothing over and above open formulas which addresses many such worries, and in particular, does not interpret Russell as reducing classes to language. (shrink)

Transport of macromolecules from the nucleus to the cytoplasm is essential for nearly all cellular and developmental events, and when mis‐regulated, is associated with diseases, tumor formation/growth, and cancer progression. Nuclear Envelope (NE)‐budding is a newly appreciated nuclear export pathway for large macromolecular machineries, including those assembled to allow co‐regulation of functionally related components, that bypasses canonical nuclear export through nuclear pores. In this pathway, large macromolecular complexes are enveloped by the inner nuclear membrane, transverse the perinuclear space, and then (...) exit through the outer nuclear membrane to release its contents into the cytoplasm. NE‐budding is a conserved process and shares many features with nuclear egress mechanisms used by herpesviruses. Despite its biological importance and clinical relevance, little is yet known about the regulatory and structural machineries that allow NE‐budding to occur in any system. Here we summarize what is currently known or proposed for this intriguing nuclear export process. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

The potential for financial conflicts of interest (COIs) to damage the credibility of scientific research has become a significant social concern, especially in the wake of high-profile incidents involving the pharmaceutical, tobacco, fossil-fuel, and chemical industries. Scientists and policy makers have debated whether the presence of financial COIs should count as a reason for treating research with suspicion or whether research should instead be evaluated solely based on its scientific quality. This paper examines a recent proposal to develop criteria for (...) evaluating the credibility of research without considering its source of funding. It concludes that proposals of this sort are likely to be either ineffective or impractical in many cases. Nevertheless, this does not imply that all research funded by those with an interest in the outcome must be placed under a cloud of suspicion; there are conditions under which research is at much more serious risk of being corrupted than in other cases, and attention to these conditions can guide productive responses to financial COIs. (shrink)

. The potential for financial conflicts of interest to influence scientific research has become a significant concern. Some commentators have suggested that the development of standardized study protocols could help to alleviate these problems. This paper identifies two problems with this solution: scientific research incorporates numerous methodological judgments that cannot be constrained by standardized protocols; and standardization can hide significant value judgments. These problems arise because of four weaknesses of standardized guidelines: incompleteness, limited applicability, selective ignorance, and ossification. Therefore, the (...) standardization of study designs should not serve as an alternative to addressing the interests and power relations that pervade science policy-making. Policy makers should take at least two steps to prevent powerful interest groups from co-opting standardized guidelines. First, their development and review should be made as transparent as possible and should be subjected to broadly-based deliberation. Second, standardized guidelines should be supplemented with efforts to scrutinize the conditions under which financial COIs tend to have the most worrisome effects so that additional steps can be taken to eliminate and mitigate those conditions. (shrink)

Certain advocates of the so-called “neo-logicist” movement in the philosophy of mathematics identify themselves as “neo-Fregeans” (e.g., Hale and Wright), presenting an updated and revised version of Frege’s form of logicism. Russell’s form of logicism is scarcely discussed in this literature and, when it is, often dismissed as not really logicism at all (in light of its assumption of axioms of infinity, reducibility and so on). In this paper I have three aims: firstly, to identify more clearly the primary meta-ontological (...) and methodological differences between Russell’s logicism and the more recent forms; secondly, to argue that Russell’s form of logicism offers more elegant and satisfactory solutions to a variety of problems that continue to plague the neo-logicist movement (the bad company objection, the embarrassment of richness objection, worries about a bloated ontology, etc.); thirdly, to argue that neo-Russellian forms of logicism remain viable positions for current philosophers of mathematics. (shrink)

I trace changes to Frege's understanding of numbers, arguing in particular that the view of arithmetic based in geometry developed at the end of his life (1924–1925) was not as radical a deviation from his views during the logicist period as some have suggested. Indeed, by looking at his earlier views regarding the connection between numbers and second-level concepts, his understanding of extensions of concepts, and the changes to his views, firstly, in between Grundlagen and Grundgesetze, and, later, after learning (...) of Russell's paradox, this position is a natural position for him to have retreated to, when properly understood. (shrink)

Attempts to evaluate a belief or argument on the basis of its cause or origin are usually condemned as committing the genetic fallacy. However, I sketch a number of cases in which causal or historical factors are logically relevant to evaluating a belief, including an interesting abductive form that reasons from the best explanation for the existence of a belief to its likely truth. Such arguments are also susceptible to refutation by genetic reasoning that may come very close to the (...) standard examples given of supposedly fallacious genetic reasoning. (shrink)

Many philosophers still countenance senses or meanings in the broadly Fregean vein. However, it is difficult to posit the existence of senses without positing quite a lot of them, including at least one presenting every entity in existence. I discuss a number of Cantorian paradoxes that seem to result from an overly large metaphysics of senses, and various possible solutions. Certain more deflationary and nontraditional understanding of senses, and to what extent they fare better in solving the problems, are also (...) discussed. In the end, it is concluded that one must divide senses into various ramified-orders in order to avoid antinomy, but that the philosophical justification of such orders is, as yet, still somewhat problematic. (shrink)

The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...) universals, are exposed. Wittgenstein's and Russell's views on logical grammar are shown to be very similar. Russell's type theory does not countenance types of genuine entities nor metaphysical truths that cannot be put into words, contrary to conventional wisdom. I relate this to the debate over "inexpressible truths" in the Tractatus. I lastly comment on the changes to Russell's views brought about by Wittgenstein's influence. (shrink)

Russell discovered the classes version of Russell's Paradox in spring 1901, and the predicates version near the same time. There is a problem, however, in dating the discovery of the propositional functions version. In 1906, Russell claimed he discovered it after May 1903, but this conflicts with the widespread belief that the functions version appears in _The Principles of Mathematics_, finished in late 1902. I argue that Russell's dating was accurate, and that the functions version does not appear in the (...) _Principles_. I distinguish the functions and predicates versions, give a novel reading of the _Principles_, section 85, as a paradox dealing with what Russell calls _assertions_, and show that Russell's logical notation in 1902 had no way of even formulating the functions version. The propositional functions version had its origins in the summer of 1903, soon after Russell's notation had changed in such a way as to make a formulation possible. (shrink)

In this paper I explore a position on which it is possible to eliminate the need for postulating abstract objects through abstraction principles by treating terms for abstracta as ‘incomplete symbols’, using Russell's no-classes theory as a template from which to generalize. I defend views of this stripe against objections, most notably Richard Heck's charge that syntactic forms of nominalism cannot correctly deal with non-first-orderizable quantifcation over apparent abstracta. I further discuss how number theory may be developed in a system (...) treating apparent terms for numbers using these definitions. (shrink)

Sequel to Part I. In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions and equivalence classes of coextensional properties. Part II addresses Russell’s own various attempts to solve these paradoxes, (...) including strategies that he considered and rejected (limitation of size, the zigzag theory, etc.), as well as his own final views whereupon many purported entities that, if reified, lead to these contradictions, must not be genuine entities, but ‘logical fictions’ or ‘logical constructions’ instead. (shrink)

This chapter explores the metaphysical views about higher-order logic held by two individuals responsible for introducing it to philosophy: Gottlob Frege (1848–1925) and Bertrand Russell (1872–1970). Frege understood a function at first as the remainder of the content of a proposition when one component was taken out or seen as replaceable by others, and later as a mapping between objects. His logic employed second-order quantifiers ranging over such functions, and he saw a deep division in nature between objects and functions. (...) Russell understood propositional functions as what is obtained when constituents of propositions are replaced by variables, but eventually denied that they were entities in their own right. Both encountered contradictions when supposing there to exist as many objects as functions, and both adopted views about the meaningfulness of higher-order discourse that were difficult to state from within their own strictures. (shrink)

This paper takes up Hadot’s call for more comparative work on Buddhism and Philosophy as a Way of Life by comparing Zen Master Hakuin Ekaku’s artwork Pilgrims with the graffiti artist Banksy’s The Street is in Play. Beyond the striking similarities in form and apparent tongue-in-cheek criticism of graffiti, this paper explains the context of Hakuin’s artwork and the text of his painting before exploring the importance of graffiti in the Platform Sutra of the Sixth Patriarch. I argue that by (...) taking up Hadot’s call for more comparative work we find that Hakuin’s Zen bears fruitful points of comparison with Hadot’s account of philosophy as a way of life. Furthermore, a comparison of the two artworks of Banksy and Hakuin helps us better understand both figures via thematic elements of humor and socially disruptive writings. (shrink)

In these articles, I describe Cantor’s power-class theorem, as well as a number of logical and philosophical paradoxes that stem from it, many of which were discovered or considered (implicitly or explicitly) in Bertrand Russell’s work. These include Russell’s paradox of the class of all classes not members of themselves, as well as others involving properties, propositions, descriptive senses, class-intensions, and equivalence classes of coextensional properties. Part I focuses on Cantor’s theorem, its proof, how it can be used to manufacture (...) paradoxes, Frege’s diagnosis of the core difficulty, and several broad categories of strategies for offering solutions to these paradoxes. (shrink)

This paper examines how ethically significant assumptions and values are embedded not only in environmental policies but also in the language of the environmental sciences. It shows, based on three case studies associated with contemporary pollution research, how the choice of scientific categories and terms can have at least four ethically significant effects: influencing the future course of scientific research; altering public awareness or attention to environmental phenomena; affecting the attitudes or behavior of key decision makers; and changing the burdens (...) of proof required for taking action in response to environmental concerns. The paper argues that deliberative forums, research-ethics training, and conceptual work by environmental philosophers could all promote more ethically sensitive responses to these features of scientific language. (shrink)

This chapter clarifies that it was the works Giuseppe Peano and his school that first led Russell to embrace symbolic logic as a tool for understanding the foundations of mathematics, not those of Frege, who undertook a similar project starting earlier on. It also discusses Russell’s reaction to Peano’s logic and its influence on his own. However, the chapter also seeks to clarify how and in what ways Frege was influential on Russell’s views regarding such topics as classes, functions, meaning (...) and denotation, etc., and summarizes the correspondence between Frege and Russell and the light it sheds on the philosophical logic of both. (shrink)

Recent philosophical literature has highlighted the complexities of handling dissent in science. On one hand, scientific dissent can be very harmful, as when “merchants of doubt” strategically appeal to dissent in order to undermine important environmental and public-health initiatives. On the other hand, scientific dissent can also be beneficial when it helps to promote scientific objectivity, progress, and public engagement. Some authors have responded to this tension by suggesting criteria for distinguishing normatively appropriate and inappropriate dissent, while other authors have (...) suggested that it is more fruitful to alter the social context in which science operates in order to alleviate the negative effects of dissent over the long term. This paper proposes another approach that may be helpful for managing particularly challenging cases of scientific dissent. It argues that instances of scientific dissent often incorporate debates over value judgments, so many difficult cases of dissent can be navigated by: (1) identifying and highlighting those value judgments; and (2) managing those value judgments by drawing strategies from the extensive literature on values and science. The paper illustrates this approach by examining a case study of dissent over the treatment of long-term symptoms associated with Lyme disease. (shrink)

This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses themselves to be "sense-functions," functions from sense to sense. However, the conditions he lays out under which a sense-function is to be regarded as a sense presenting another function as denotation allow for certain undesirable results given certain unusual or "deviant" sense-functions. Certain absurdities result, e.g., an argument can be found for equating any two (...) senses of the same type. An alternative treatment of the senses of functions is discussed, and is thought to do better justice to Frege's original theory. (shrink)

Russell claims in his autobiography and elsewhere that he discovered his 1905 theory of descriptions while attempting to solve the logical and semantic paradoxes plaguing his work on the foundations of mathematics. In this paper, I hope to make the connection between his work on the paradoxes and the theory of descriptions and his theory of incomplete symbols generally clearer. In particular, I argue that the theory of descriptions arose from the realization that not only can a class not be (...) thought of as a single thing, neither can the meaning/intension of any expression capable of singling out one collection (class) of things as opposed to another. If this is right, it shows that Russell’s method of solving the logical paradoxes is wholly incompatible with anything like a Fregean dualism between sense and reference or meaning and denotation. I also discuss how this realization lead to modifications in his understanding of propositions and propositional functions, and suggest that Russell’s confrontation with these issues may be instructive for ongoing research. (shrink)

In he Problems of Philosophy and other works of the same period, Russell claims that every proposition must contain at least one universal. Even fully general propositions of logic are claimed to contain “abstract logical universals”, and our knowledge of logical truths claimed to be a species of a priori knowledge of universals. However, these views are in considerable tension with Russell’s own philosophy of logic and mathematics as presented in Principia Mathematica. Universals generally are qualities and relations, but if, (...) for example, PM’s disjunction (∨) is a relation, what is it a relation between? There is no obvious answer to this given Russell’s other philosophical commitments at this time, although hints are left in some of the pre-PM manuscripts. In this paper, I explore this tension in Russell's philosophy and relate it to developments both before and after Problems. (shrink)

Analytic philosophy has been perhaps the most successful philosophical movement of the twentieth century. While there is no one doctrine that defines it, one of the most salient features of analytic philosophy is its reliance on contemporary logic, the logic that had its origin in the works of George Boole and Gottlob Frege and others in the mid‐to‐late nineteenth century. Boolean algebra, the heart of Boole's contributions to logic, has also come to represent a cornerstone of modern computing. Frege had (...) broad philosophical interests, and his writings on the nature of logical form, meaning and truth remain the subject of intense theoretical discussion, especially in the analytic tradition. Frege's works, and the powerful new logical calculi developed at the end of the nineteenth century, influenced many of its most seminal figures, such as Bertrand Russell, Ludwig Wittgenstein and Rudolf Carnap. (shrink)